How Testable are BDI Agents?: An Analysis of Branch Coverage (Extended Abstract)
نویسنده
چکیده
In this paper we extend our understanding of the feasibility of testing BDI agent programs by analysing their testability with respect to the all edges test adequacy criterion, and comparing with previous work that considered the all paths criterion. Our findings extend the earlier analysis with respect to the all paths criterion to give a more nuanced understanding of the difficulty of testing BDI agents.
منابع مشابه
On the Testability of BDI Agent Systems (Extended Abstract)
Before deploying a software system we need to assure ourselves (and stakeholders) that the system will behave correctly. This assurance is usually done by testing the system. However, it is intuitively obvious that adaptive systems, including agent-based systems, can exhibit complex behaviour, and are thus harder to test. In this paper we examine this “obvious intuition” in the case of Belief-D...
متن کاملA Framework for Organization-Aware Agents (JAAMAS Extended Abstract)
This short paper introduces and summarizes the AORTA reasoning framework that can be integrated into BDI-agents to enable organizational decision-making. This work has recently been published in the Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), as [3].
متن کاملKnow - How for Motivated BDI Agents ( Extended
The BDI model is well accepted as an architecture for representing and realizing rational agents. The beliefs in this model are focused on the representation of beliefs about the world and other agents and are widely independent from the agents intentions. We argue that also the representation of know-how, which captures the beliefs about actions and procedures, has to be taken into account whe...
متن کاملWhen Management Agents Become Autonomous , How to Ensure Their Reliability ? Morsy
We propose to provide a prototype of an agent-based network management system in which, unreliable agents can be detected by the other agents. The detection method is based on having the agents testing each other by comparing their respective beliefs. The agents are speciied using an abstract agent functional model. This model is based on a BDI (Belief Desire Intention)-like mental cycle and us...
متن کاملElements of Critical Context Studies
In this paper, it is argued that Critical Discourse Studies (CDS) should be extended to also include what may be called Critical Context Studies (CCS). After a summary of the new theory of context, defined in terms of special mental models in episodic memory, subjectively representing the ‘definition of the communicative situation’ by the participants, it is argued how a critical analysis of te...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016